Classifying Fuzzy Subsumption in Fuzzy-EL+
نویسندگان
چکیده
Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extensions to expressive DLs have been proposed today and many reasoning algorithms exist there is still no scalable and efficient reasoning system reported, mainly due to inherited computational complexity from crisp DLs and the lack for optimisation techniques for fuzzy DL reasoning algorithms. Following the paradigm of classical DLs, fuzzy extensions to tractable DLs have been proposed. In the current paper we present a fuzzy extension to the tractable DL EL+, creating f-EL+. Besides the syntax and the extended semantics we also provide a reasoning algorithm for f-EL+. Interestingly, our algorithm supports classification over fuzzy subsumption for which scalable reasoning is not known.
منابع مشابه
Positive Subsumption in Fuzzy EL with General t-Norms
The Description Logic EL is used to formulate several large biomedical ontologies. Fuzzy extensions of EL can express the vagueness inherent in many biomedical concepts. We study the reasoning problem of deciding positive subsumption in fuzzy EL with semantics based on general t-norms. We show that the complexity of this problem depends on the specific t-norm chosen. More precisely, if the t-no...
متن کاملThe Complexity of Subsumption in Fuzzy EL
Fuzzy Description Logics (DLs) are used to represent and reason about vague and imprecise knowledge that is inherent to many application domains. It was recently shown that the complexity of reasoning in finitely valued fuzzy DLs is often not higher than that of the underlying classical DL. We show that this does not hold for fuzzy extensions of the light-weight DL EL, which is used in many bio...
متن کاملThe Logical Difference For Fuzzy EL+ Ontologies
Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it is important to clarify the difference between them. The difference above refers to the logical difference, not syntactic one. Examples of the logical difference include the difference in taxonomy, concept subsumption difference...
متن کاملAbout Subsumption in Fuzzy EL
Classical Description Logics (DLs) [2] cannot properly deal with the endemic imprecision of biomedical knowledge. For example, the current version of the SNOMEDCT ontology defines a “Perinatal Cyanotic Attack” as a cardiovascular disorder occurring in the perinatal period and manifested through cyanosis. This definition depends on two vague notions, namely the perinatal period—the period of tim...
متن کامل